Properties of a First - order Functional Language with SharingZena
نویسنده
چکیده
A calculus and a model for a rst-order functional language with sharing is presented. In most implementations of functional languages, argument subexpressions in a function application are shared to avoid their repeated evaluation. Recursive functions are typically implemented using graphs with cycles. Compilers for these languages sometimes employ non-left-linear and left-cyclic rules for optimizations. A Graph Rewriting System (GRS) to address these concerns is developed. It is shown that a GRS without interfering rules is connuent. Along the lines of L evy's term model for the-calculus, a semantics of such a GRS is also presented. An application of the term model to compiler optimizations is discussed.
منابع مشابه
The production of lexical categories (VP) and functional categories (copula) at the initial stage of child L2 acquisition
This is a longitudinal case study of two Farsi-speaking children learning English: ‘Bernard’ and ‘Melissa’, who were 7;4 and 8;4 at the start of data collection. The research deals with the initial state and further development in the child second language (L2) acquisition of syntax regarding the presence or absence of copula as a functional category, as well as the role and degree of L1 influe...
متن کاملSpeech difficulties in Joubert syndrome
Introduction: "Joubert syndrome" was first introduced in1969. This syndrome is a rare genetic disease with autosomal dominantpattern. Hypotonia, ataxia and motor delay of the disease known as clinical manifestations. In the few reports of this syndrome, mostly functional and structural components studied and radiographic images such as speech and language developmental delay symptoms has been l...
متن کاملLevel of Grammatical Proficiency and Acquisition of Functional Projections: The case of Iranian learners of English language
Unlike Lexical Projections, Functional Projections (Extended Projections) are more of an ‘abstract’ in nature. Therefore, Functional Projections seem to be acquired later than Lexical Projections by the L2 learners. The present study investigates Iranian L2 learners’ acquisition of English Extended Projections taking into account their level of grammatical proficiency. Specifically, the aim is ...
متن کاملAsymptotic Distributions of Estimators of Eigenvalues and Eigenfunctions in Functional Data
Functional data analysis is a relatively new and rapidly growing area of statistics. This is partly due to technological advancements which have made it possible to generate new types of data that are in the form of curves. Because the data are functions, they lie in function spaces, which are of infinite dimension. To analyse functional data, one way, which is widely used, is to employ princip...
متن کاملSubstituent Effects on the Structural and Nonlinear Optical Properties of 1-[4-({(E)-[4-(methylsulfanyl)phenyl]methylidene}amino)phenyl]ethanone and Some of its Substituted Derivatives- a Theoretical Method
This work investigates the structural and nonlinear optical properties of a D-A type 1-[4-({(E)-[4-(methylsulfanyl)phenyl]methylidene}amino)phenyl]ethanone, MMP in which charge transfer occurs from -SCH3 donor to -COCH3 acceptor group through methylidene backbone; and some of its modeled analogues using quantum chemical calculations with pure BLYP and hybrid B3LYP correlation with high basis se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994